Integrating automated structured analysis and design with Ada programming support environments

Ada Programming Support Environments (APSE) include many powerful tools that address the implementation of Ada code. These tools do not address the entire software development process. Structured analysis is a methodology that addresses the creation of complete and accurate system specifications. Structured design takes a specification and derives a plan to decompose the system subcomponents, and provides heuristics to optimize the software design to minimize errors and maintenance. It can also produce the creation of useable modules. Studies have shown that most software errors result from poor system specifications, and that these errors also become more expensive to fix as the development process continues. Structured analysis and design help to uncover error in the early stages of development. The APSE tools help to insure that the code produced is correct, and aid in finding obscure coding errors. However, they do not have the capability to detect errors in specifications or to detect poor designs. An automated system for structured analysis and design TEAMWORK, which can be integrated with an APSE to support software systems development from specification through implementation is described. These tools completement each other to help developers improve quality and productivity, as well as to reduce development and maintenance costs. Complete system documentation and reusable code also resultss from the use of these tools. Integrating an APSE with automated tools for structured analysis and design provide capabilities and advantages beyond those realized with any of these systems used by themselves

A Guide to Missouri\u27s Freshwater Mussels

https://bearworks.missouristate.edu/books/1017/thumbnail.jp

MyD88 and TRIF mediate the cyclic adenosine monophosphate (cAMP) induced corticotropin releasing hormone (CRH) expression in JEG3 choriocarcinoma cell line

Background: Classically protein kinase A (PKA) and transcription factor activator protein 1 (AP-1) mediate the cyclic AMP (cAMP) induced-corticotrophin releasing hormone (CRH) expression in the placenta. However enteric Gram (-) bacterial cell wall component lipopolysaccharide (LPS) may also induce-CRH expression via Toll like receptor (TLR)4 and its adaptor molecule Myd88. Here we investigated the role of MyD88, TRIF and IRAK2 on cAMP-induced CRH promoter activation in JEG3 cells in the absence of LPS/TLR4 stimulation. Methods: JEG3 cells were transfected with CRH-luciferase and Beta-galactosidase expression vectors and either empty or dominant-negative (DN)-MyD88, DN-TRIF or DN-IRAK2 vectors using Fugene6 (Roche). cAMP-induced CRH promoter activation was examined by using a luminometer and luciferase assay. Calorimetric Beta-galactosidase assays were performed to correct for transfection efficiency. Luciferase expression vectors of cAMP-downstream molecules, CRE and AP-1, were used to further examine the signaling cascades. Results: cAMP stimulation induced AP-1 and CRE promoter expression and led to dose-dependent CRH promoter activation in JEG3 cells. Inhibition of MyD88 signaling blocked cAMP-induced CRE and CRH promoter activation. Inhibition of TRIF signaling blocked cAMP-induced CRH but not CRE expression, while inhibition of IRAK2 did not have an effect on cAMP-induced CRH expression. Conclusion: MyD88 and TRIF exert direct regulatory effect on cAMP-induced CRH promoter activation in JEG3 cells in the absence of infection. MyD88 most likely interacts with molecules upstream of IRAK2 to regulate cAMP-induced CRH expression

ECOSSE: Estimating Carbon in Organic Soils - Sequestration and Emissions: Final Report

Background Climate change, caused by greenhouse gas ( GHG) emissions, is one of the most serious threats facing our planet, and is of concern at both UK and devolved administration levels. Accurate predictions for the effects of changes in climate and land use on GHG emissions are vital for informing land use policy. Models which are currently used to predict differences in soil carbon (C) and nitrogen (N) caused by these changes, have been derived from those based on mineral soils or deep peat. None of these models is entirely satisfactory for describing what happens to organic soils following land-use change. Reports of Scottish GHG emissions have revealed that approximately 15% of Scotland's total emissions come from land use changes on Scotland's high carbon soils; the figure is much lower for Wales. It is therefore important to reduce the major uncertainty in assessing the carbon store and flux from land use change on organic soils, especially those which are too shallow to be deep peats but still contain a large reserve of C. In order to predict the response of organic soils to external change we need to develop a model that reflects more accurately the conditions of these soils. The development of a model for organic soils will help to provide more accurate values of net change to soil C and N in response to changes in land use and climate and may be used to inform reporting to UKGHG inventories. Whilst a few models have been developed to describe deep peat formation and turnover, none have so far been developed suitable for examining the impacts of land-use and climate change on the types of organic soils often subject to land-use change in Scotland and Wales. Organic soils subject to land-use change are often (but not exclusively) characterised by a shallower organic horizon than deep peats (e.g. organo-mineral soils such as peaty podzols and peaty gleys). The main aim of the model developed in this project was to simulate the impacts of land-use and climate change in these types of soils. The model is, a) be driven by commonly available meteorological data and soil descriptions, b) able to simulate and predict C and N turnover in organic soils, c) able to predict the impacts of land-use change and climate change on C and N stores in organic soils in Scotland and Wales. In addition to developing the model, we have undertaken a number of other modelling exercises, literature searches, desk studies, data base exercises, and experimentation to answer a range of other questions associated with the responses of organic soils in Scotland and Wales to climate and land-use change. Aims of the ECOSSE project The aims of the study were: To develop a new model of C and N dynamics that reflects conditions in organic soils in Scotland and Wales and predicts their likely responses to external factors To identify the extent of soils that can be considered organic in Scotland and Wales and provide an estimate of the carbon contained within them To predict the contribution of CO 2, nitrous oxide and methane emissions from organic soils in Scotland and Wales, and provide advice on how changes in land use and climate will affect the C and N balance In order to fulfil these aims, the project was broken down into modules based on these objectives and the report uses that structure. The first aim is covered by module 2, the second aim by module 1, and the third aim by modules 3 to 8. Many of the modules are inter-linked. Objectives of the ECOSSE project The main objectives of the project were to: Describe the distribution of organic soils in Scotland and Wales and provide an estimate of the C contained in them Develop a model to simulate C and N cycling in organic soils and provide predictions as to how they will respond to land-use, management and climate change using elements of existing peat, mineral and forest soil models Provide predictive statements on the effects of land-use and climate change on organic soils and the relationships to GHG emissions, including CO 2, nitrous oxide and methane. Provide predictions on the effects of land use change and climate change on the release of Dissolved Organic Matter from organic soils Provide estimates of C loss from scenarios of accelerated erosion of organic soils Suggest best options for mitigating C and N loss from organic soils Provide guidelines on the likely effects of changing land-use from grazing or semi-natural vegetation to forestry on C and N in organic soils Use the land-use change data derived from the Countryside Surveys of Scotland and Wales to provide predictive estimates for changes to C and N balance in organic soils over time

Exploring the use of teaching videos to improve educational outcomes: A cross-Faculty study.

Since 2017, academics in the Faculty of Science and Engineering at Manchester Metropolitan University have created over 2000 videos and screencasts to support the retention and progression of 6000 UG students in the Faculty. These short videos provide coursework briefings, past exam paper solutions and short explainers of core concepts. As in earlier studies (Saunders and Hutt, 2014; Carmichael et al, 2017) student feedback on the videos has been consistently positive since the initiative began. In this session, we will discuss the impact of teaching videos on students’ academic performance, evidence for which has up to now been largely anecdotal

Three-Dimensional Double-Ridge Internal Tide Resonance in Luzon Strait

The three-dimensional (3D) double-ridge internal tide interference in the Luzon Strait in the South China Sea is examined by comparing 3D and two-dimensional (2D) realistic simulations. Both the 3D simulations and observations indicate the presence of 3D first-mode (semi)diurnal standing waves in the 3.6-km-deep trench in the strait. As in an earlier 2D study, barotropic-to-baroclinic energy conversion, flux divergence, and dissipation are greatly enhanced when semidiurnal tides dominate relative to periods dominated by diurnal tides. The resonance in the 3D simulation is several times stronger than in the 2D simulations for the central strait. Idealized experiments indicate that, in addition to ridge height, the resonance is only a function of separation distance and not of the along-ridge length; that is, the enhanced resonance in 3D is not caused by 3D standing waves or basin modes. Instead, the difference in resonance between the 2D and 3D simulations is attributed to the topographic blocking of the barotropic flow by the 3D ridges, affecting wave generation, and a more constructive phasing between the remotely generated internal waves, arriving under oblique angles, and the barotropic tide. Most of the resonance occurs for the first mode. The contribution of the higher modes is reduced because of 3D radiation, multiple generation sites, scattering, and a rapid decay in amplitude away from the ridge

Mating with Stressed Males Increases the Fitness of Ant Queens

BACKGROUND: According to sexual conflict theory, males can increase their own fitness by transferring substances during copulation that increase the short-term fecundity of their mating partners at the cost of the future life expectancy and re-mating capability of the latter. In contrast, sexual cooperation is expected in social insects. Mating indeed positively affects life span and fecundity of young queens of the male-polymorphic ant Cardiocondyla obscurior, even though males neither provide nuptial gifts nor any other care but leave their mates immediately after copulation and die shortly thereafter. PRINCIPAL FINDINGS: Here, we show that mating with winged disperser males has a significantly stronger impact on life span and reproductive success of young queens of C. obscurior than mating with wingless fighter males. CONCLUSIONS: Winged males are reared mostly under stressful environmental conditions, which force young queens to disperse and found their own societies independently. In contrast, queens that mate with wingless males under favourable conditions usually start reproducing in the safety of the established maternal nest. Our study suggests that males of C. obscurior have evolved mechanisms to posthumously assist young queens during colony founding under adverse ecological conditions

Free classification of large sets of everyday objects is more thematic than taxonomic

Traditionally it has been thought that the overall organisation of categories in the brain is taxonomic. To examine this assumption, we had adults sort 140–150 diverse, familiar objects from different basic-level categories. Almost all the participants (80/81) sorted the objects more thematically than taxonomically. Sorting was only weakly modulated by taxonomic priming, and people still produced many thematically structured clusters when explicitly instructed to sort taxonomically. The first clusters that people produced were rated as having equal taxonomic and thematic structure. However, later clusters were rated as being increasingly thematically organised. A minority of items were consistently clustered taxonomically, but the overall dominance of thematically structured clusters suggests that people know more thematic than taxonomic relations among everyday objects. A final study showed that the semantic relations used to sort a given item in the initial studies predicted the proportion of thematic to taxonomic word associates generated to that item. However, unlike the results of the sorting task, most of these single word associates were related taxonomically. This latter difference between the results of large-scale, free sorting tasks versus single word association tasks suggests that thematic relations may be more numerous, but weaker, than taxonomic associations in our stored conceptual network. Novel statistical and numerical methods for objectively measuring sorting consistency were developed during the course of this investigation, and have been made publicly available

Unravelling the GSK3β-related genotypic interaction network influencing hippocampal volume in recurrent major depressive disorder

Objective Glycogen synthase kinase 3β (GSK3β) has been implicated in mood disorders. We previously reported associations between a GSK3β polymorphism and hippocampal volume in major depressive disorder (MDD). We then reported similar associations for a subset of GSK3β-regulated genes. We now investigate a comprehensive list of genes encoding proteins that directly interact with GSK3β to identify a genotypic network influencing hippocampal volume in MDD. Participants and methods We used discovery (N=141) and replication (N=77) recurrent MDD samples. Our gene list was generated from the NetworKIN database. Hippocampal measures were derived using an optimized Freesurfer protocol. We identified interacting single nucleotide polymorphisms using the machine learning algorithm Random Forest and verified interactions using likelihood ratio tests between nested linear regression models. Results The discovery sample showed multiple two-single nucleotide polymorphism interactions with hippocampal volume. The replication sample showed a replicable interaction (likelihood ratio test: P=0.0088, replication sample; P=0.017, discovery sample; Stouffer’s combined P=0.0007) between genes associated previously with endoplasmic reticulum stress, calcium regulation and histone modifications. Conclusion Our results provide genetic evidence supporting associations between hippocampal volume and MDD, which may reflect underlying cellular stress responses. Our study provides evidence of biological mechanisms that should be further explored in the search for disease-modifying therapeutic targets for depression

Three-Dimensional Double-Ridge Internal Tide Resonance in Luzon Strait

The three-dimensional (3D) double-ridge internal tide interference in the Luzon Strait in the South China Sea is examined by comparing 3D and two-dimensional (2D) realistic simulations. Both the 3D simulations and observations indicate the presence of 3D first-mode (semi)diurnal standing waves in the 3.6-km-deep trench in the strait. As in an earlier 2D study, barotropic-to-baroclinic energy conversion, flux divergence, and dissipation are greatly enhanced when semidiurnal tides dominate relative to periods dominated by diurnal tides. The resonance in the 3D simulation is several times stronger than in the 2D simulations for the central strait. Idealized experiments indicate that, in addition to ridge height, the resonance is only a function of separation distance and not of the along-ridge length; that is, the enhanced resonance in 3D is not caused by 3D standing waves or basin modes. Instead, the difference in resonance between the 2D and 3D simulations is attributed to the topographic blocking of the barotropic flow by the 3D ridges, affecting wave generation, and a more constructive phasing between the remotely generated internal waves, arriving under oblique angles, and the barotropic tide. Most of the resonance occurs for the first mode. The contribution of the higher modes is reduced because of 3D radiation, multiple generation sites, scattering, and a rapid decay in amplitude away from the ridge.Keywords: Regional models, Numerical analysis/modeling, Models and modeling, Resonance, Circulation/Dynamics, Tides, Internal waves, Ocean models, Physical Meteorology and Climatology, Atm/Ocean Structure/Phenomen